<HTML><HEAD><TITLE>?ExprX #=< ?ExprY</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>?ExprX #=< ?ExprY</H1>
ExprX is less than or equal to ExprY (with integrality constraints).
<DL>
<DT><EM>ExprX</EM></DT>
<DD>Integer arithmetic expression
</DD>
<DT><EM>ExprY</EM></DT>
<DD>Integer arithmetic expression
</DD>
</DL>
<H2>Description</H2>
<P>
   Constrains ExprX to be less than or equal to ExprY.  Also constrains all
   variables appearing in ExprX and ExprY to be integral and checks that all
   constants are integers.</P><P>

   Note that if all variables and constants appearing in this constraint
   are already integral, then the constraint is equivalent to
   ic:(ExprX =< ExprY).</P>

<H2>See Also</H2>
<A HREF="../../lib/ic/HL-2.html">#< / 2</A>, <A HREF="../../lib/ic/HE-2.html">#= / 2</A>, <A HREF="../../lib/ic/HGE-2.html">#>= / 2</A>, <A HREF="../../lib/ic/HG-2.html">#> / 2</A>, <A HREF="../../lib/ic/HRE-2.html">#\= / 2</A>, <A HREF="../../lib/ic/EL-2.html">=< / 2</A>, <A HREF="../../lib/ic/HEL-3.html">#=< / 3</A>, <A HREF="../../lib/suspend/HEL-2.html">suspend : #=< / 2</A>
</BODY></HTML>
